Search results for "Analytic set"
showing 4 items of 4 documents
The Kuratowski convergence and connected components
2012
International audience; We investigate the Kuratowski convergence of the connected components of the sections of a definable set applying the result obtained to semialgebraic approximation of subanalytic sets. We are led to some considerations concerning the connectedness of the limit set in general. We discuss also the behaviour of the dimension of converging sections and prove some general facts about the Kuratowski convergence in tame geometry.
On the points realizing the distance to a definable set
2011
Abstract We prove a definable/subanalytic version of a useful lemma, presumably due to John Nash, concerning the points realizing the Euclidean distance to an analytic submanifold of R n . We present a parameter version of the main result and we discuss the properties of the multifunction obtained.
Champs de vecteurs analytiques et champs de gradients
2002
A theorem of Łojasiewicz asserts that any relatively compact solution of a real analytic gradient vector field has finite length. We show here a generalization of this result for relatively compact solutions of an analytic vector field X with a smooth invariant hypersurface, transversally hyperbolic for X, where the restriction of the field is a gradient. This solves some instances of R. Thom's Gradient Conjecture. Furthermore, if the dimension of the ambient space is three, these solutions do not oscillate (in the sense that they cut an analytic set only finitely many times); this can also be applied to some gradient vector fields.
Characterization of the Clarke regularity of subanalytic sets
2017
International audience; In this note, we will show that for a closed subanalytic subset $A \subset \mathbb{R}^n$, the Clarke tangential regularity of $A$ at $x_0 \in A$ is equivalent to the coincidence of the Clarke's tangent cone to $A$ at $x_0$ with the set \\$$\mathcal{L}(A, x_0):= \bigg\{\dot{c}_+(0) \in \mathbb{R}^n: \, c:[0,1]\longrightarrow A\;\;\mbox{\it is Lipschitz}, \, c(0)=x_0\bigg\}.$$Where $\dot{c}_+(0)$ denotes the right-strict derivative of $c$ at $0$. The results obtained are used to show that the Clarke regularity of the epigraph of a function may be characterized by a new formula of the Clarke subdifferential of that function.